Failed to solve the following constraints:
  _x_15 = resurrect _ : ⊥ (blocked on _x_15)
Unsolved metas at the following locations:
  Issue483.agda:17,7-8
  Issue483.agda:17,16-20
